L : (
    l where e
        implements Z,
)I
s